Thanks for the PR!

Please also add a test calling the function, as noted by @tiif. If you cannot make the test pass, that's fine, please still push it and then hopefully someone has the time to look at it and help. :)

@rustbot ready

@rustbot author
Please post @rustbot ready when the PR is ready for the next round of review.

That should do it, thanks!

Please squash the commits. (Keep the new pipe test a separate commit if you can, but it's not a big deal to have that squashed as well.)

There are merge commits (commits with multiple parents) in your changes. We have a no merge policy so these commits will need to be removed for this pull request to be merged.

You can start a rebase with the following commands:

$ # rebase
$ git pull --rebase https://github.com/rust-lang/miri.git master
$ git push --force-with-lease

The following commits are merge commits:

• cecd39c

There are merge commits (commits with multiple parents) in your changes. We have a no merge policy so these commits will need to be removed for this pull request to be merged.

You can start a rebase with the following commands:

$ # rebase
$ git pull --rebase https://github.com/rust-lang/miri.git master
$ git push --force-with-lease

The following commits are merge commits (since this message was last posted):

• 68fc8e6
• 3dd4e1e
• bd99bc7